first order predicate logic

For that regularization knowledge we use first order predicate logic ;

针对一些规则性的知识通过一阶谓词逻辑进行形式化；

Combination of first order predicate logic , with object-oriented method , expressed demand for information .

结合一阶谓词逻辑，采用面向对象的方法，表述了其需求信息。

A model representation method based on first order predicate logic

一种基于一阶谓词逻辑的模型表示方法

The representation of first order predicate logic is adopted to describe the requirement unit in formalization .

采用一阶谓词逻辑知识表示方法对需求元进行形式化描述；

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model , and discuss the correctness of this model .

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

In this knowledge base system model , we adopt both first order predicate logic ( FOPL ) and case knowledge representation modes to represent the knowledge .

在本知识库系统模型中，知识表示采用一阶谓词（SDSS）逻辑和案例两者相结合的方式。

Z is a formal specification language based on the first order predicate logic and set theory . It can generate concise , accurate and conformable specifications .

Z语言是基于一阶谓词逻辑和集合论的形式规格说明语言，采用了严格的数学理论，可产生简明、精确、无歧义且可证明的规格说明。

Text predicate representation is a first order predicate logic . In this method , different words have different definitions of logical predicates , and the position of their parameters indicates the syntax and semantic information .

文本谓词表示是一种一阶谓词逻辑表示方法，不同的单词对应不同的逻辑谓词，谓词参数的位置信息表示句法语义信息。

Based on the first order predicate logic each qualitative Horn clause rule in this paper is associated with an implication strength f , therefore quantitative f-Horn clause rules and their Herbrand interpretation are obtained .

本文在一阶谓词逻辑的基础上，为每个定性的Horn子句规则赋予一个蕴涵强度f，从而得到定量的f-Horn子句规则及其Herbrand解释。